Introduction

This note describes a small package of L^ATEX macros for printing Z specifications. I put these together specifically for printing my book on Z semantics, so the package only provides features I needed for that, and your favourite Z constructs may be missing. On the other hand, I've put quite a lot of work into getting the constructs which <#7#>are<#7#> there to look right, at least to my eyes. If the package doesn't do what you want, at least it gives you something to start from. The package does several related things for you:

1. It loads the two fonts of extra symbols from the American Mathematical Society and defines mnemonics for the Z symbols they contain.
2. It defines macros to fudge some Z symbols (e.g. #tex2html_wrap_inline210#
   ) which don't appear in any of our fonts.
3. It fixes the way TEX sets letters in mathematical formulas so that multi-character identifiers look better.
4. It provides ways to set the various brands of `boxed mathematics' which appear in Z specifications.